SENSE: Abstraction-Based Synthesis of Networked Control Systems
نویسندگان
چکیده
منابع مشابه
Markovian Delay Prediction-Based Control of Networked Systems
A new Markov-based method for real time prediction of network transmission time delays is introduced. The method considers a Multi-Layer Perceptron (MLP) neural model for the transmission network, where the number of neurons in the input layer is minimized so that the required calculations are reduced and the method can be implemented in the real-time. For this purpose, the Markov process order...
متن کاملNeural-Smith Predictor Method for Improvement of Networked Control Systems
Networked control systems (NCSs) are distributed control systems in which the nodes, including controllers, sensors, actuators, and plants are connected by a digital communication network such as the Internet. One of the most critical challenges in networked control systems is the stochastic time delay of arriving data packets in the communication network among the nodes. Using the Smith predic...
متن کاملAbstraction-Based Parameter Synthesis for Multiaffine Systems
ion-Based Parameter Synthesis for Multiaffine Systems Sergiy Bogomolov1(B), Christian Schilling, Ezio Bartocci, Gregory Batt, Hui Kong, and Radu Grosu 1 IST Austria, Klosterneuburg, Austria [email protected] 2 University of Freiburg, Freiburg im Breisgau, Germany 3 Vienna University of Technology, Vienna, Austria 4 INRIA Paris-Rocquencourt, Paris, France Abstract. Multiaffine hybrid au...
متن کاملGraph-based Control of Networked Systems
To see a world in a grain of sand, And a heaven in a wild flower, ... ACKNOWLEDGMENTS First and foremost, I would like to express my appreciation to my advisor, Dr. Magnus Egerstedt, for his guidance and support, without which this dissertation would not have materialized. Your unquenchable enthusiasm and tireless hardwork have been the most invaluable encouragement to me. I also wish to thank ...
متن کاملNetworked Control Systems: A Model-Based Approach
In this paper a class of networked control systems called Model-Based Networked Control Systems (MB-NCS) is considered. This control architecture uses an explicit model of the plant in order to reduce the network traffic while attempting to prevent excessive performance degradation. MB-NCS can successfully address several important control issues in an intuitive and transparent way. In this pap...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2018
ISSN: 2075-2180
DOI: 10.4204/eptcs.272.6